翻訳と辞書 Words near each other ・ Axiom of empty set ・ Axiom of Equity ・ Axiom of extensionality ・ Axiom of global choice ・ Axiom of infinity ・ Axiom of limitation of size ・ Axiom of Maria ・ Axiom of pairing ・ Axiom of power set ・ Axiom of projective determinacy ・ Axiom of real determinacy ・ Axiom of reducibility ・ Axiom of regularity ・ Axiom of union ・ Axiom S5 ・ Axiom schema ・ Axiom schema of predicative separation ・ Axiom schema of replacement ・ Axiom schema of specification ・ Axiom Telecom ・ Axiom Verge ・ Axiom-man ・ Axioma ・ Axioma Ethica Odini ・ Axiomatic (album) ・ Axiomatic (disambiguation) ・ Axiomatic (story collection) ・ Axiomatic design ・ Axiomatic product development lifecycle ・ Axiomatic quantum field theory Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Axiom schema ： ウィキペディア英語版 Axiom schema In mathematical logic, an axiom schema (plural: axiom schemata) generalizes the notion of axiom.? ==Formal definition== An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs, stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Often, such conditions require that certain variables be free, or that certain variables not appear in the subformula or term. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiom schema」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.